1. FROM FREGE TO GODEL: A Source book in Mathematical logic 9781 -1391
پدیدآورنده : Van Heijenoort, Jean
کتابخانه: Library of Mofid University (Qom)
موضوع :
رده :
QA
9
.
V3
F7
1977
2. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic, Symbolic and mathematical-- Addresses, essays, lectures,، Mathematics-- Philosophy-- Addresses, essays, lectures
رده :
QA
9
.
V3
3. From Frege to Godel; a source book in mathematical logic, 1879-1931
پدیدآورنده : Van Heijenoort, Jean, 2191-6891
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Addresses, essays, lectures ، Logic, Symbolic and mathematical,Addresses, essays, lectures ، Mathematics -- Philosophy
رده :
QA
9
.
V34
4. Selected essays
پدیدآورنده : Van Heijenoort, Jean, 2191-6891
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic
رده :
BC
71
.
V29
1985